<!DOCTYPE html>
<title>activate-portal.html</title>
<script>
  window.onportalactivate = e => {
    document.body.appendChild(e.adoptPredecessor());
  };
</script>
